SIMMONDS, JOCELYN: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Software Product Line Evolution: a Systematic Literature Review

Marques, Maíra, Simmonds, Jocelyn, Rossel, Pedro O., Bastarrica, María Cecilia

Journal:

Information and Software Technology

Year:

2018

Language:

english

File:

PDF, 1.25 MB

english, 2018

2

[ACM Press the 2nd International Workshop - Gothenburg, Sweden (2018.06.02-2018.06.02)] Proceedings of the 2nd International Workshop on Software Engineering Education for Millennials - SEEM '18 - Software engineering for millennials, by millennials

Simmonds, Jocelyn, Samary, Maíra Marques, Tomic, Milenko, Madrid, Francisco, Escobar, Constanza

Year:

2018

Language:

english

File:

PDF, 245 KB

english, 2018

3

[IEEE 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE) - Gender Differences in Self and Peer Assessment in a Software Engineering Capstone Course

Bastarrica, Maria Cecilia, Simmonds, Jocelyn

Year:

2019

Language:

english

File:

PDF, 124 KB

english, 2019

4

Exploiting resolution proofs to speed up LTL vacuity detection for BMC

Jocelyn Simmonds, Jessica Davies, Arie Gurfinkel, Marsha Chechik

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2010

Language:

english

File:

PDF, 561 KB

english, 2010

5

Monitoring and recovery for web service applications

Simmonds, Jocelyn, Ben-David, Shoham, Chechik, Marsha

Journal:

Year:

2013

Language:

english

File:

PDF, 1.74 MB

english, 2013

6

MDE software process lines in small companies

Hurtado, Julio Ariel, Bastarrica, María Cecilia, Ochoa, Sergio F., Simmonds, Jocelyn

Journal:

Journal of Systems and Software

Year:

2013

Language:

english

File:

PDF, 3.37 MB

english, 2013

7

Semi-automated Tool Recommender for Software Development Processes

Pilar, Marina, Simmonds, Jocelyn, Astudillo, Hernán

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2014

Language:

english

File:

PDF, 375 KB

english, 2014

8

[ACM Press the 20th IEEE/ACM international Conference - Long Beach, CA, USA (2005.11.07-2005.11.11)] Proceedings of the 20th IEEE/ACM international Conference on Automated software engineering - ASE '05 - A tool for automatic UML model consistency checking

Simmonds, Jocelyn, Bastarrica, M. Cecilia

Year:

2005

Language:

english

File:

PDF, 70 KB

english, 2005

9

[IEEE 2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE) - San Francisco, CA, USA (2013.05.20-2013.05.20)] 2013 4th International Workshop on Product LinE Approaches in Software Engineering (PLEASE) - Variability in software process models: Requirements for adoption in industrial settings

Simmonds, Jocelyn, Bastarrica, Maria Cecilia, Silvestre, Luis, Quispe, Alcides

Year:

2013

Language:

english

File:

PDF, 544 KB

english, 2013

10

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC

Simmonds, Jocelyn, Davies, Jessica, Gurfinkel, Arie, Chechik, Marsha

Year:

2007

Language:

english

File:

PDF, 310 KB

english, 2007

11

A TOOL BASED ON DL FOR UML MODEL CONSISTENCY CHECKING

SIMMONDS, JOCELYN, BASTARRICA, MARÍA CECILIA, HITSCHFELD-KAHLER, NANCY, RIVAS, SEBASTIÁN

Journal:

International Journal of Software Engineering and Knowledge Engineering

Year:

2008

Language:

english

File:

PDF, 585 KB

english, 2008

12

[ACM Press the eighteenth ACM SIGSOFT international symposium - Santa Fe, New Mexico, USA (2010.11.07-2010.11.11)] Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering - FSE '10 - Guided recovery for web service applications

Simmonds, Jocelyn, Ben-David, Shoham, Chechik, Marsha

Year:

2010

Language:

english

File:

PDF, 1.22 MB

english, 2010

13

[ACM Press the 6th International Workshop - Hyderabad, India (2014.06.02-2014.06.03)] Proceedings of the 6th International Workshop on Modeling in Software Engineering - MiSE 2014 - Using megamodeling to improve industrial adoption of complex MDE solutions

Bastarrica, María Cecilia, Simmonds, Jocelyn, Silvestre, Luis

Year:

2014

Language:

english

File:

PDF, 1001 KB

english, 2014

14

[ACM Press the IEEE/ACM international conference - Antwerp, Belgium (2010.09.20-2010.09.24)] Proceedings of the IEEE/ACM international conference on Automated software engineering - ASE '10 - RuMoR

Simmonds, Jocelyn, Chechik, Marsha

Year:

2010

Language:

english

File:

PDF, 845 KB

english, 2010

15

[IEEE 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Ottawa, ON, Canada (2015.9.30-2015.10.2)] 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - A megamodel for Software Process Line modeling and evolution

Simmonds, Jocelyn, Perovich, Daniel, Bastarrica, Maria Cecilia, Silvestre, Luis

Year:

2015

Language:

english

File:

PDF, 450 KB

english, 2015

16

[IEEE Formal Methods in Computer Aided Design (FMCAD'07) - Austin, TX, USA (2007.11.11-2007.11.14)] Formal Methods in Computer Aided Design (FMCAD'07) - Exploiting Resolution Proofs to Speed Up LTL Vacuity Detection for BMC

Simmonds, Jocelyn, Davies, Jessica, Gurfinkel, Arie, Chechik, Marsha

Year:

2007

Language:

english

File:

PDF, 310 KB

english, 2007

17

[IEEE 2015 34th International Conference of the Chilean Computer Science Society (SCCC) - Santiago, Chile (2015.11.9-2015.11.13)] 2015 34th International Conference of the Chilean Computer Science Society (SCCC) - Spin lock killed the performance star

Rivera, Diego, Blasco, Sebastian, Bustos-Jimenez, Javier, Simmonds, Jocelyn

Year:

2015

Language:

english

File:

PDF, 364 KB

english, 2015

18

The v-algorithm for discovering software process lines

Rojas Blum, Fabian, Simmonds, Jocelyn, Bastarrica, María Cecilia

Journal:

Journal of Software Evolution and Process

Year:

2016

Language:

english

File:

PDF, 1.16 MB

english, 2016

19

[ACM Press the 2015 International Conference - Tallinn, Estonia (2015.08.24-2015.08.26)] Proceedings of the 2015 International Conference on Software and System Process - ICSSP 2015 - Software process line discovery

Blum, Fabian Rojas, Simmonds, Jocelyn, Bastarrica, María Cecilia

Year:

2015

Language:

english

File:

PDF, 780 KB

english, 2015

20

Formal verification of distributed system using an executable C model

Cifuentes, Francisco, Bustos Jimenez, Javier, Simmonds, Jocelyn

Journal:

IEEE Latin America Transactions

Year:

2016

File:

PDF, 538 KB

2016

21

Maintaining Consistency between UML Models Using Description Logic

Simmonds, Jocelyn, Van Der Straeten, Ragnhild, Jonckers, Viviane, Mens, Tom

Journal:

Year:

2004

Language:

english

File:

PDF, 95 KB

english, 2004

22

[IEEE 2013 32nd International Conference of the Chilean Computer Science Society (SCCC) - Temuco, Cautin, Chile (2013.11.11-2013.11.15)] 2013 32nd International Conference of the Chilean Computer Science Society (SCCC) - Mobile Application Monitoring

Vasquez, Sebastian, Simmonds, Jocelyn

Year:

2013

Language:

english

File:

PDF, 262 KB

english, 2013

23

[ACM Press the International Workshop - Austin, Texas (2016.05.14-2016.05.22)] Proceedings of the International Workshop on Mobile Software Engineering and Systems - MOBILESoft '16 - BehaviorDroid

Silva, Alexis, Simmonds, Jocelyn

Year:

2016

Language:

english

File:

PDF, 321 KB

english, 2016

24

[IEEE 2016 IEEE Frontiers in Education Conference (FIE) - Eire, PA, USA (2016.10.12-2016.10.15)] 2016 IEEE Frontiers in Education Conference (FIE) - “Teaching is learning”: Pedagogical material created and evaluated by students

Barbay, Jeremy, Simmonds, Jocelyn, Nishida, Adriana Keiko, Ribeiro, Monael Pinheiro

Year:

2016

Language:

english

File:

PDF, 611 KB

english, 2016

25

[ACM Press the 49th ACM Technical Symposium - Baltimore, Maryland, USA (2018.02.21-2018.02.24)] Proceedings of the 49th ACM Technical Symposium on Computer Science Education - SIGCSE '18 - Coding or Hacking?

Gutierrez, Francisco J., Simmonds, Jocelyn, Casanova, Cecilia, Sotomayor, Cecilia, Hitschfeld, Nancy

Year:

2018

Language:

english

File:

PDF, 1.32 MB

english, 2018

26

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering Software Engineering Education and Training - ICSE-SEET '18 - Assessing software development skills among K-6 learners in a project-based workshop with scratch

Gutierrez, Francisco J., Simmonds, Jocelyn, Hitschfeld, Nancy, Casanova, Cecilia, Sotomayor, Cecilia, Peña-Araya, Vanessa

Year:

2018

Language:

english

File:

PDF, 1.44 MB

english, 2018

27

[ACM Press the 1st International Workshop - Gothenburg, Sweden (2018.05.28-2018.05.28)] Proceedings of the 1st International Workshop on Gender Equality in Software Engineering - GE '18 - Affirmative action for attracting women to STEM in chile

Bastarrica, María Cecilia, Hitschfeld, Nancy, Samary, Maíra Marques, Simmonds, Jocelyn

Year:

2018

Language:

english

File:

PDF, 358 KB

english, 2018

28

The Robot Operating System: Package Reuse and Community Dynamics

Estefo, Pablo, Simmonds, Jocelyn, Robbes, Romain, Fabry, Johan

Journal:

Journal of Systems and Software

Year:

2019

Language:

english

File:

PDF, 661 KB

english, 2019

29

[IEEE 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE) - Montreal, QC, Canada (2019.5.27-2019.5.27)] 2019 IEEE/ACM 2nd International Workshop on Gender Equality in Software Engineering (GE) - Gender Differences in Self and Peer Assessment in a Software Engineering Capstone Course

Bastarrica, Maria Cecilia, Simmonds, Jocelyn

Year:

2019

File:

PDF, 124 KB

2019

30

Nanogel receptors for high isoelectric point protein detection: influence of electrostatic and covalent polymerâprotein interactions

Wechsler, Marissa E., Dang, H. K. H. Jocelyn, Dahlhauser, Samuel D., Simmonds, Susana P., Reuther, James F., Wyse, Jordyn M., VandeWalle, Abigail N., Anslyn, Eric V., Peppas, Nicholas A.

Journal:

Chemical Communications

Year:

2020

File:

PDF, 1.19 MB

2020

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски